-
1 predicate language
-
2 predicate language
Большой англо-русский и русско-английский словарь > predicate language
-
3 predicate language
Вычислительная техника: язык предикатов -
4 predicate language
English-Russian dictionary of mechanical engineering and automation > predicate language
-
5 predicate language
English-Russian dictionary of computer science and programming > predicate language
-
6 predicate language
English-Russian dictionary of computer science > predicate language
-
7 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
8 language
1) язык || языковой2) машинный язык; набор символов ( машины)•- application-oriented language
- applicative language
- APT programming language
- APT-based language
- artificial language
- assembler language
- assembly language
- block diagram language
- calculus language
- classificatory indexing language
- command language
- communication-information language
- computer language
- context-free language
- context-sensitive language
- control language
- controlled language
- conversational programming language
- data definition language
- data description language
- data general language
- data general programming language
- data manipulation language
- data retrieval language
- data storage description language
- database control language
- database language
- database programming language
- definition language
- description indexing language
- description language
- descriptor indexing language
- DGL interpretative programming language
- documentary language
- domain-dependent language
- domain-independent language
- extended language
- extensible language
- formal language
- formalized language
- general-purpose language
- generic language
- geometry technology language
- global programming language
- graphics picture drawing language
- high-level language
- highly coded language
- hybrid language
- implementation language
- index retrieval language
- indexing language
- information language
- information processing language
- information retrieval language
- informational language
- information-algorithmic language
- interactive language
- interactive reader language
- intermediary language
- intermediate language
- interpretive language
- interrogation language
- ISO language
- job command language
- job control language
- language of science
- logical-information language
- machine control language
- machine language
- machinist's language
- manipulator-oriented language
- manufacturing application language
- meaning-representation language
- meta language
- native language
- natural language
- NC programming language
- numerical command language
- object description language
- object-oriented language
- operational performance analysis language
- plain language
- powerful programming language
- predicate calculus language
- predicate language
- predicate logic language
- problem-oriented language
- procedural language
- processing language
- process-oriented language
- production language
- production-rule language
- program language
- programming language
- query input language
- query language
- representation language
- retrieval language
- robotics language
- robot-programming language
- robot-specialized language
- rule-based programming language
- shop-oriented language
- Siman simulation language
- simulation language
- source language
- special interface programming language
- specification language
- state language
- structured query language
- switching language
- task description language
- task level language
- task-oriented language
- uncontrolled language
- very high level languageEnglish-Russian dictionary of mechanical engineering and automation > language
-
9 predicate
1. n грам. лог. предикат, сказуемое2. n лог. утверждение3. a предикативныйpredicate noun — предикативное существительное, существительное в роли именной части составного сказуемого
4. v утверждать; заявлять; делать заявлениеmy plan is predicated on the assumption that … — в своём плане я исхожу из того, что …
5. v грам. лог. предицировать6. v наводить на мысль7. v редк. проповедовать8. v разг. предсказыватьСинонимический ряд:1. assert (verb) affirm; assert; aver; avouch; avow; constate; declare; depose; maintain; mean; proclaim; profess; protest; set forth; state2. establish (verb) base; bottom; build; establish; fasten; found; ground; rest; root in; seat; stay -
10 language
[ˈlæŋɡwɪdʒ]algorithmic language вчт. алгоритмический язык algorithmical language вчт. алгоритмическый язык applicative language вчт. функциональный язык artifical language вчт. искусственный язык artificial language вчт. искусственный язык assembler language вчт. язык ассемблера assembly language вчт. язык ассемблера authoring language вчт. язык для автоматизации творческой работы block-structured language вчт. язык с блочной структурой boolean-based language вчт. язык булевых операторов command language вчт. командный язык compiled language вчт. транслируемый язык compiler language вчт. язык транслятора computer language вчт. машинный язык computer-dependent language вчт. машинно-зависимый язык computer-oriented language вчт. машинно-ориентированный язык computer-sensitive language вчт. машинно-зависимый язык constraint language вчт. декларативный язык context-free language вчт. контекстно-свободный язык conversational language вчт. диалоговый язык conversational language вчт. язык диалога data definition language вчт. язык определения данных data description language вчт. язык описания данных data description language вчт. язык определения данных data language вчт. язык описания данных data manipulation language вчт. язык манипулирования данными data-base language вчт. язык базы данных data-query language вчт. язык запросов declarative language вчт. декларативный язык design language вчт. язык проектирования end-user language вчт. язык конечного пользователя extensible language вчт. расширяемый язык language язык; речь; finger language язык жестов, язык глухонемых foreign language иностранный язык formal language формальный язык frame language вчт. фреймовый язык high-level language вчт. язык высокого уровня host language вчт. включающий язык human language естественный язык language разг. брань (тж. bad language); I won't have any language here прошу не выражаться inflected language флективный язык information retrieval language информационно- поисковый язык information retrieval language информационно-поисковый язык input language вчт. входной язык interactive language вчт. диалоговый язык interpreted language вчт. интерпретируемый язык kernel language вчт. базовый язык knowledge representation language вчт. язык представления знаний language разг. брань (тж. bad language); I won't have any language here прошу не выражаться language стиль; язык писателя; the language of Shakespeare язык Шекспира language язык language язык; речь; finger language язык жестов, язык глухонемых language стиль; язык писателя; the language of Shakespeare язык Шекспира language of the case язык судебного делопроизводства legal language юридический язык legal language язык права low-level language вчт. язык низкого уровня machine language вчт. машинный язык machine-dependent language вчт. машинно-зависимый язык machine-independent language вчт. машинно-независимый язык machine-oriented language вчт. машинно-ориентрированный язык macro language вчт. макроязык macroinstruction language вчт. язык макрокоманд memory management language вчт. язык управления памятью meta language вчт. метаязык minority language язык национального меньшинства mnemonic language вчт. символический язык national language государственный язык native language вчт. собственный язык машины natural language вчт. естественный язык nonprocedural language вчт. непроцедурный язык object language вчт. объектный язык official language официальный язык original language исходный язык parallel language вчт. язык параллельного программирования predicate language вчт. язык предикатов problem statement language вчт. язык постановки задачи problem-oriented language вчт. проблемно-ориентированный язык procedural language вчт. процедурный язык procedural language процедурный язык procedure-oriented language вчт. процедурно ориентированный язык production language вчт. продукционный язык program language вчт. язык программирования programming language вчт. язык программирования query language вчт. язык запросов register transfer language вчт. язык межрегистровых пересылок regular language вчт. регулярный язык relational language вчт. реляционный язык representation language вчт. язык представлений restricted language вчт. упрощенная версия языка rule language вчт. язык правил rule-based language вчт. язык продукционных правил rule-oriented language вчт. язык логического программирования script language вчт. язык сценариев serial language вчт. язык последовательного программирования source language вчт. исходный язык source language cmp. исходный язык specification language вчт. язык спецификаций subset language вчт. подмножество языка symbolic language вчт. символический язык symbolic language comp. символический язык system language вчт. системный язык tabular language вчт. табличный язык target language вчт. выходной язык target language выходной язык target language объектный язык threaded language вчт. язык транслируемый в шитый код typed language вчт. широко используемый язык typeless language вчт. безтиповый язык unchecked language вчт. язык без контроля типов untyped language вчт. язык без контроля типов update language вчт. язык корректирующих запросов user language вчт. язык пользователя world language международный язык -
11 predicate
предикат, высказывание, утверждать
– predicate calculus
– predicate calculus machinery
– predicate logic language
– predicate symbol
– predicted result
-
12 language
ˈlæŋɡwɪdʒ сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a language ≈ обогащать язык to learn, master a language ≈ учить язык to plan a language ≈ регулировать язык to purify a language ≈ очищать язык (проведение некоторых мер по выведению из языка тех или иных пластов лексики или грамматических форм) to speak (in) a, to use a language ≈ говорить на языке to standardize a language ≈ стандартизировать язык international, world language ≈ международный язык, язык международного общения dead, extinct language ≈ мертвый язык language acquisition ≈ обучение языку language maintenance ≈ поддержание (знания) языка spoken language ≈ разговорный язык written language ≈ письменный язык native language ≈ родной язык foreign language ≈ иностранный язык national language ≈ национальный язык official language ≈ официальный язык second language ≈ второй язык universal language ≈ универсальный язык formal language ≈ язык официального общения idiomatic language ≈ язык, богатый идиомами nontechnical language ≈ нетехнический язык substandard language ≈ язык, не соответствующий языковой норме technical language ≈ технический язык ancient language ≈ древний язык classical language ≈ классический язык creolized language ≈ креолизованный язык living language ≈ живой язык modern language ≈ современный язык natural language ≈ естественный язык trade language ≈ язык торгового общения agglutinative language ≈ агглютинативный язык inflecting language ≈ флективный язык isolating language ≈ изолирующий язык synthetic language ≈ синтетический язык tone language ≈ язык с тоновым ударением б) (как знаковая система) sign language ≈ язык знаков artificial language ≈ искусственный язык finger language ≈ язык жестов, язык глухонемых в) (языковой или литературный стиль;
язык писателя) the language of Shakespeare ≈ язык Шекспира bad, coarse, crude, dirty, foul, nasty, obscene, offensive, unprintable, vile, vulgar language ≈ грубый, грязный, неприличный, оскорбительный, непечатный, вульгарный язык rough, strong, vituperative language ≈ грубый, бранный язык everyday, plain, simple language ≈ простой, повседневный язык flowery language ≈ цветистый язык (богатый метафорами, сравнениями и др. литературными тропами) colloquial, informal language ≈ язык неофициального общения, разговорный язык literary, standard language ≈ литературный язык abusive language ≈ брань, ругательства children's language ≈ детский язык diplomatic language ≈ дипломатический язык polite language ≈ вежливый язык rich language ≈ богатый язык Syn: wording г) (как способ кодирования) object, target language ≈ язык, на который переводят source language ≈ язык, с которого переводят (в машинном переводе) computer language machine language programming language язык - the Russian * русский язык - finger * язык жестов, язык глухонемых - living * живой язык - working * рабочий язык (в международных организациях) - the working *s of this committee are English and Russian рабочими языками этого комитета являются русский и английский - * arts (американизм) обучение чтению, письму, литературе, словесность (школьный предмет) - * shift переключение на другой язык (о говорящем на иностранном языке) - * department отдел переводов (ООН) - a degree in *s диплом об окончании филологического факультета или института иностранных языков - science of * языкознание речь - spoken * разгговорный язык;
устная речь - written * письменость;
письменный язык - articulate * членораздельная речь - literary * литературный язык - substandard * просторечие - he has a great command of * он прекрасно владеет языком, у него прекрасная речь характер языка;
стиль, слог - fine * изысканный язык, цветистый стиль - strong * сильные выражения - bad * сквернословие - * of poetry язык поэзии - business * деловая речь;
язык деловой переписки - * of law юридический язык - diplomatic * дипломатический язык - the * of Shakespeare язык Шекспира (дипломатическое) формулировка( компьютерное) язык программирования ЭВМ > not to speak the same * совершенно не понимать друг друга > they don't speak the same * они говорят на разных языках algorithmic ~ вчт. алгоритмический язык algorithmical ~ вчт. алгоритмическый язык applicative ~ вчт. функциональный язык artifical ~ вчт. искусственный язык artificial ~ вчт. искусственный язык assembler ~ вчт. язык ассемблера assembly ~ вчт. язык ассемблера authoring ~ вчт. язык для автоматизации творческой работы block-structured ~ вчт. язык с блочной структурой boolean-based ~ вчт. язык булевых операторов command ~ вчт. командный язык compiled ~ вчт. транслируемый язык compiler ~ вчт. язык транслятора computer ~ вчт. машинный язык computer-dependent ~ вчт. машинно-зависимый язык computer-oriented ~ вчт. машинно-ориентированный язык computer-sensitive ~ вчт. машинно-зависимый язык constraint ~ вчт. декларативный язык context-free ~ вчт. контекстно-свободный язык conversational ~ вчт. диалоговый язык conversational ~ вчт. язык диалога data definition ~ вчт. язык определения данных data description ~ вчт. язык описания данных data description ~ вчт. язык определения данных data ~ вчт. язык описания данных data manipulation ~ вчт. язык манипулирования данными data-base ~ вчт. язык базы данных data-query ~ вчт. язык запросов declarative ~ вчт. декларативный язык design ~ вчт. язык проектирования end-user ~ вчт. язык конечного пользователя extensible ~ вчт. расширяемый язык ~ язык;
речь;
finger language язык жестов, язык глухонемых foreign ~ иностранный язык formal ~ формальный язык frame ~ вчт. фреймовый язык high-level ~ вчт. язык высокого уровня host ~ вчт. включающий язык human ~ естественный язык language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться inflected ~ флективный язык information retrieval ~ информационно- поисковый язык information retrieval ~ информационно-поисковый язык input ~ вчт. входной язык interactive ~ вчт. диалоговый язык interpreted ~ вчт. интерпретируемый язык kernel ~ вчт. базовый язык knowledge representation ~ вчт. язык представления знаний language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ язык ~ язык;
речь;
finger language язык жестов, язык глухонемых ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ of the case язык судебного делопроизводства legal ~ юридический язык legal ~ язык права low-level ~ вчт. язык низкого уровня machine ~ вчт. машинный язык machine-dependent ~ вчт. машинно-зависимый язык machine-independent ~ вчт. машинно-независимый язык machine-oriented ~ вчт. машинно-ориентрированный язык macro ~ вчт. макроязык macroinstruction ~ вчт. язык макрокоманд memory management ~ вчт. язык управления памятью meta ~ вчт. метаязык minority ~ язык национального меньшинства mnemonic ~ вчт. символический язык national ~ государственный язык native ~ вчт. собственный язык машины natural ~ вчт. естественный язык nonprocedural ~ вчт. непроцедурный язык object ~ вчт. объектный язык official ~ официальный язык original ~ исходный язык parallel ~ вчт. язык параллельного программирования predicate ~ вчт. язык предикатов problem statement ~ вчт. язык постановки задачи problem-oriented ~ вчт. проблемно-ориентированный язык procedural ~ вчт. процедурный язык procedural ~ процедурный язык procedure-oriented ~ вчт. процедурно ориентированный язык production ~ вчт. продукционный язык program ~ вчт. язык программирования programming ~ вчт. язык программирования query ~ вчт. язык запросов register transfer ~ вчт. язык межрегистровых пересылок regular ~ вчт. регулярный язык relational ~ вчт. реляционный язык representation ~ вчт. язык представлений restricted ~ вчт. упрощенная версия языка rule ~ вчт. язык правил rule-based ~ вчт. язык продукционных правил rule-oriented ~ вчт. язык логического программирования script ~ вчт. язык сценариев serial ~ вчт. язык последовательного программирования source ~ вчт. исходный язык source ~ cmp. исходный язык specification ~ вчт. язык спецификаций subset ~ вчт. подмножество языка symbolic ~ вчт. символический язык symbolic ~ comp. символический язык system ~ вчт. системный язык tabular ~ вчт. табличный язык target ~ вчт. выходной язык target ~ выходной язык target ~ объектный язык threaded ~ вчт. язык транслируемый в шитый код typed ~ вчт. широко используемый язык typeless ~ вчт. безтиповый язык unchecked ~ вчт. язык без контроля типов untyped ~ вчт. язык без контроля типов update ~ вчт. язык корректирующих запросов user ~ вчт. язык пользователя world ~ международный языкБольшой англо-русский и русско-английский словарь > language
-
13 predicate logic language
descriptive language — дексриптивный язык; описательный язык
-
14 predicate logic language
English-Russian big polytechnic dictionary > predicate logic language
-
15 predicate logic language
Большой англо-русский и русско-английский словарь > predicate logic language
-
16 predicate logic-based language
Большой англо-русский и русско-английский словарь > predicate logic-based language
-
17 predicate calculus language
Автоматика: язык исчисления предикатовУниверсальный англо-русский словарь > predicate calculus language
-
18 predicate logic language
1) Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатов2) Механика: язык основанный на логике предикатов3) Автоматика: язык, основанный на логике предикатов (как функций нескольких переменных)Универсальный англо-русский словарь > predicate logic language
-
19 predicate logic-based language
Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатовУниверсальный англо-русский словарь > predicate logic-based language
-
20 predicate logic language
Англо-русский словарь по машиностроению > predicate logic language
- 1
- 2
См. также в других словарях:
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Language Integrated Query — LINQ redirects here. For the card game, see Linq (card game). Language Integrated Query Influenced by SQL, Haskell Language Integrated Query (LINQ, pronounced link ) is a Microsoft .NET Framework component that adds native data querying… … Wikipedia
Language — This article is about the properties of language in general. For other uses, see Language (disambiguation). Cuneiform is one of the first known forms of written language, but spoken language is believed to predate writing by tens of thousands of… … Wikipedia
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Language of thought — Jerry A. Fodor s Language of Thought (LOT) hypothesis states that cognition and cognitive processes are only remotely plausible when expressed as computational in terms of representational systems. He uses empirical data drawn from linguistics… … Wikipedia
Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… … Wikipedia
Language of thought hypothesis — In philosophy of mind, the language of thought hypothesis (LOTH) put forward by American philosopher Jerry Fodor describes thoughts as represented in a language (sometimes known as mentalese) that allows complex thoughts to be built up by… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
language — In religion, issues of language and meaning are highly significant. A religion based on a text has to determine what the text means, and although this might have been clear to those who were present when the revelation of the Qur’an was given… … Islamic philosophy dictionary
Araki language — language name=Araki states=Vanuatu region=Araki island, Espiritu Santo speakers=8 familycolor=Austronesian fam2=Malayo Polynesian fam3=Central Eastern fam4=Eastern fam5=Oceanic fam6=Central Eastern fam7=Remote Oceanic fam8=North and Central… … Wikipedia
Cebuano language — language name = Cebuano nativename = Sinugboanon familycolor= Austronesian states = Philippines region = Central Visayas and most of Mindanao speakers = first language: 20 million (ethnologue) second language: 11 million (est.) rank = 47 fam2 =… … Wikipedia